Turing Award - PDFSEARCH.IO - Document Search Engine

Turing Award
Results: 191

#	Item
151	Algorithms and Data Structures © N. Wirth[removed]Oberon version: August 2004). Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2012-02-22 05:24:51 Theoretical computer science Mathematical logic Procedural programming languages Programming idioms Turing Award laureates Pascal Algorithm Pointer Edsger W. Dijkstra Computing Software engineering Computer programming
152	1 A Brief History of Software Engineering Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2008-09-22 09:09:38 Procedural programming languages Turing Award laureates Programming paradigms Edsger W. Dijkstra Programming language Software development methodology Pascal Structured programming Actor model Computing Software engineering Programming language theory
153	ABSTRACT A comparison between the development of cognitive science in France and the USA enables us to analyze some national differences linked to specific connections between the scientific, military, economic and political worlds. The Add to Reading List Source URL: www.sagepub.com Language: English - Date: 2008-07-08 08:16:01 Systems theory Turing Award laureates Cognitive science Cybernetics Cognition Cognitive Science Society Psychology Intelligence Allen Newell Science Knowledge Ethology
154	Dijkstra’s Crisis: The End of Algol and Beginning of Software Engineering, [removed]Thomas Haigh, [removed], www.tomandmaria.com/tom Draft for discussion in SOFT-EU Project Meeting, September 2010 Add to Reading List Source URL: www.tomandmaria.com Language: English - Date: 2010-09-10 02:26:09 Procedural programming languages Turing Award laureates Software engineers Fellows of the British Computer Society ALGOL IFIP Working Group 2.1 Edsger W. Dijkstra Friedrich L. Bauer Peter Naur Software engineering Computing Programming language theory
155	people.qxp[removed]:00 AM Page[removed]Mathematics People Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:15:03 MacArthur Fellows Donald Knuth Norwegian Academy of Science and Letters Kazuo Inamori TeX The Art of Computer Programming Nathan Seiberg Turing Award International Mathematical Olympiad Science Academia Computing
156	PART VIII: The Unknown History of the Internet “...From time to time I’ve been assigned credit for all sorts of things that I Add to Reading List Source URL: wiwiw.org Language: English - Date: 2005-04-14 05:22:40 Networking hardware ARPANET Packet switching Packet switch Turing Award laureates Paul Baran Leonard Kleinrock Donald Davies Computer network Computing Technology Science and technology in the United States
157	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
158	Microsoft Word - turing-08.dot Add to Reading List Source URL: www.acm.org Language: English - Date: 2013-06-04 22:41:24 Turing Award laureates Women in technology Barbara Jane Liskov Procedural programming languages Alan Turing Year of birth missing Turing Award Association for Computing Machinery John Guttag Computing Computer science Software engineering
159	CV for Maurice V. Wilkes Present address: Computer Laboratory, University of Cambridge. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-11-11 06:41:28 Academia Turing Award laureates British people Science and technology in the United Kingdom Knights Bachelor Maurice Wilkes Jon Crowcroft Andy Hopper Fellows of the Royal Society Fellows of the British Computer Society Year of birth missing
160	MEMORIAL RESOLUTION GEORGE ELMER FORSYTHE (1917 – 1972) Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2008-02-05 18:43:57 Turing Award laureates Science Computer science Cleve Moler Department of Computer Science SWAC Computer scientist Mathematics Donald Knuth Academia Computing George Forsythe

UPDATE